Meaning Language - Match Specification, Predicate command

Anything is Possible in Algorithm Writer and Conditions for Mind Reading

Could match specification first, not try code
- by data type, compound term structure, constants
- should match everything in the required specification

A command that constructs and calls predicates
- Decompose data
    - which data - re header: try two lists simultaneously, then pass one to a predicate (etc., such as depleting cycles, state machines that are unchanged, variables passed unchanged, patterns of predicate body - see rcaw, these predicate calls will have patterns in their argument mode relationships)
    - how to call another predicate, recursion, spec, base cases, brackets, not, conditions, 
        - These are all features that need to be taken care of
    - May need to construct predicates as data
- In the interpreter data, cut stops calling the next command when in the body x one solution, if it has gone past the cut, then if it goes through the cut, it fails
    - Future features like cut (two cuts)

Queues exist, and comments are necessary for mind reading.